Feeds to Scour
SubscribedAll
Scoured 9734 posts in 181.4 ms
Railway Oriented Programming
fsharpforfunandprofit.com·1d·
Discuss: Hacker News
📦Module Systems
I Built a Programming Language Where think Is a Keyword
dev.to·6h·
Discuss: DEV
⚙️Compiler Design
Functional Programming Bits in Python
martynassubonis.substack.com·5d·
Discuss: Substack, r/programming, r/webdev
🔀Brzozowski Derivatives
Agentic Proof-Oriented Programming
risemsr.github.io·2d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
Abstract Framework for All-Path Reachability Analysis
arxiv.org·2d
🌲CTL
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·8h
⚙️Compiler Design
Style tips for less experienced developers coding with AI
honnibal.dev·1d·
Discuss: Hacker News
🧪Property-Based Testing
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·8h·
Discuss: Hacker News, r/Compilers
🔧ppx
First Proof | Research-Level Math for AI Evaluation
1stproof.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
In (highly contingent!) defense of interpretability-in-the-loop ML training
lesswrong.com·1d
🔁Fixed-Point Theory
Portable C Compiler
en.wikipedia.org·37m·
Discuss: Hacker News
🐫Embedded OCaml
GAMformer: Bridging Tabular Foundation Models and Interpretable Machine Learning
arxiv.org·1d
🧩Parser Combinators
I Write Games in C (yes, C)
jonathanwhiting.com·6h·
Discuss: Hacker News
🏃Escape Analysis
Logic Puzzles: Why the Liar Is the Helpful One
blog.szczepan.org·20h·
Discuss: Hacker News
🧮Z3
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
🔄Finite State Machines
LlamaLib: A cross-platform C++/C# library for local LLMs based on llama.cpp
github.com·1d·
Discuss: Hacker News
🐫OCaml
Python’s Truthiness: A Code Smell Worth Sniffing
owl.billpg.com·1d·
Discuss: Hacker News
🔀Brzozowski Derivatives
The control layer for AI
blog.dottxt.ai·1d·
Discuss: Hacker News
🧠Automated Reasoning
Logic for Programmers New Release and Next Steps
buttondown.com·3d
🔬Static Analysis

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help